What If You Could Actually Trust Your Kernel?
نویسندگان
چکیده
The advent of formally verified OS kernels means that for the first time we have a truly trustworthy foundation for systems. In this paper we explore the design space this opens up. The obvious applications are in security, although not all of them are quite as obvious, for example as they relate to TPMs. We further find that the kernel’s dependability guarantees can be used to improve performance, for example in database systems. We think that this just scratches the surface, and that trustworthy kernels will stimulate further research.
منابع مشابه
قانون طلایی تدارک حمایت از دانش آموزان با نیازهای ویژه در کلاسهای فراگیر: از دیگران آنطور حمایت کنید که دوست دارید از شما حمایت کنند
Consider for a moment that the school system paid someone to be with you supporting you 8 hours a day, 5 days a week. Now, imagine that you had no say over who that support person was or how she or he supported you. Or imagine that someone regularly stopped into your place of employment to provide you with one-on-one support. This person was present for all your interactions, escorted you to th...
متن کاملP14: How to Find a Talent?
Talents may be artistic or technical, mental or physical, personal or social. You can be a talented introvert or a talented extrovert. Learning to look for your talents in the right places and building those talents into skills and abilities might take some work, but going about it creatively will let you explore your natural abilities and find your innate talents. You’re not going to fin...
متن کاملحاملگی
If all pregnant women worry about their fetus, worries of pregnant nurses are more serious and actual. Which groups of women have more chance about hydatidform mole, amniotic fluid embolism or Sheehan’s syndrome? Fortunately, these complicated problems are very rare but what about daily injuries due to infectious diseases, radioactive substances, anticancer drugs and other chemical substances? ...
متن کاملKeep It Simple
league will ask, ‘So what?’ Again, you don’t have to ask that yourself, but if you did and couldn’t answer it, you’re in trouble. 6. Remember that your talk or writing really works on two levels, one where you make your point and a second where your ‘metacommentary’ explains to your students or colleagues how and how not to take it, using phrases of the ‘What I’m saying’ or ‘What I’m not saying...
متن کاملنگاهی دیگر به بیتی از مثنوی
Some texts, especially mystical and literary, are so intricate and labyrinthine that can be interpreted differently. These various interpretations sometimes result from the interior aspect of the texts, based on semantical understanding, and sometimes arise from their exterior aspect, based on different ways of reading the texts. Accordingly, while in another article along with other interprete...
متن کامل